منابع مشابه
Mobility Support with REBECA
Publish/subscribe (pub/sub) proliferates loose coupling and is touted to facilitate mobility. The inherent loose coupling even allows existing applications to be transfered to mobile environments, if an appropriate infrastructure support is available. However, existing pub/sub middleware are mostly optimized for static systems where users as well as the underlying system structure is rather fix...
متن کاملAutonomy Features and Feature Composition in REBECA
This paper explains how autonomy features targeting selfhealing and self-optimization can be implemented and composed into Rebeca, a publish/subscribe middleware which has been designed for distributed event-driven applications.
متن کاملTen Years of Analyzing Actors: Rebeca Experience
In this paper, we provide a survey of the different analysis techniques that are provided for the modeling language Rebeca. Rebeca is designed as an imperative actor-based language with the goal of providing an easy to use language for modeling concurrent and distributed systems, with formal verification support. Throughout the paper the language Rebeca and the supporting model checking tools a...
متن کاملModel Checking Rebeca Code by SMV
Object-based modelling is known to be an appropriate approach for representing concurrent and distributed systems. Besides having an appropriate and efficient way for modelling these systems, one needs a formal verification approach for ensuring their correctness. We have developed a tool for translating our actor-based model, Rebeca, to SMV. It enables us to model check Rebeca codes. We also s...
متن کاملREBECA: Turning WordNet Databases into "Ontolexicons"
In this paper we outline the design and present a sample of the REBECA bilingual lexical-conceptual database constructed by linking two monolingual lexical resources in which a set of lexicalized concepts of the North-American English database, the Princeton WordNet (WN.Pr) synsets, is aligned with its corresponding set of lexicalized concepts of the Brazilian Portuguese database, the Brazilian...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rebeca - Revista Brasileira de Estudos de Cinema e Audiovisual
سال: 2020
ISSN: 2316-9230
DOI: 10.22475/rebeca.v9n1.671